1. $u$ : $\mathbb{B}$
\\[0ex]2. $v$ : $\mathbb{B}$
\\[0ex]3. $u$ = $v$
\\[0ex]$\vdash$  $\uparrow$($u$ $\Rightarrow_{b}$ $v$)